Newey, Malcolm C.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || A comparison of PVS and Isabelle/HOL

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 1.20 MB

english, 1998

2

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Hot: A concurrent automated theorem prover based on higher-order tableaux

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 928 KB

english, 1998

3

[ACM Press the November 16-18, 1971, fall joint computer conference - Las Vegas, Nevada (1971.11.16-1971.11.18)] Proceedings of the November 16-18, 1971, fall joint computer conference on - AFIPS '71 (Fall) - Automated therapy for nonspeaking autistic children

Smith, David Canfield, Newey, Malcolm C., Colby, Kenneth Mark

Year:

1971

File:

PDF, 812 KB

1971

4

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Formal specification and theorem proving breakthroughs in geometric modeling

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 1.29 MB

english, 1998

5

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Formalizing Dijkstra

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 982 KB

english, 1998

6

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Verifying a garbage collection algorithm

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 1.10 MB

english, 1998

7

Implementing ML on distributed memory multiprocessors

Bailey, Peter, Newey, Malcolm

Journal:

ACM SIGPLAN Notices

Year:

1993

Language:

english

File:

PDF, 350 KB

english, 1993

8

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Proving isomorphism of first-order logic proof systems in HOL

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 1.03 MB

english, 1998

9

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || The village telephone system: A case study in formal software engineering

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 1.10 MB

english, 1998

10

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Generating embeddings from denotational descriptions

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 1.09 MB

english, 1998

11

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Exploiting parallelism in interactive theorem provers

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 824 KB

english, 1998

12

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Co-inductive axiomatization of a synchronous language

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 697 KB

english, 1998

13

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Case studies in meta-level theorem proving

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 1010 KB

english, 1998

14

[ACM Press the November 16-18, 1971, fall joint computer conference - Las Vegas, Nevada (1971.11.16-1971.11.18)] Proceedings of the November 16-18, 1971, fall joint computer conference on - AFIPS '71 (Fall) - Automated therapy for nonspeaking autistic children

Smith, David Canfield, Newey, Malcolm C., Colby, Kenneth Mark

Year:

1971

Language:

english

File:

PDF, 812 KB

english, 1971

15

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Formalization of graph search algorithms and its applications

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 941 KB

english, 1998

16

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || I/O automata and beyond: Temporal logic and abstraction in Isabelle

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 1002 KB

english, 1998

17

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Object-oriented verification based on record subtyping in Higher-Order Logic

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 1.03 MB

english, 1998

18

Getting Patients Back to Work after Carpal Tunnel Surgery

Newey, Martyn, Clarke, Malcolm

Journal:

Journal of Perioperative Practice

Year:

2008

Language:

english

File:

PDF, 277 KB

english, 2008

19

[ACM Press the December 9-11, 1968, fall joint computer conference, part II - San Francisco, California (1968.12.09-1968.12.11)] Proceedings of the December 9-11, 1968, fall joint computer conference, part II on - AFIPS '68 (Fall, part II) - An efficient system for user extendible languages

Newey, Malcolm C.

Year:

1968

Language:

english

File:

PDF, 1.10 MB

english, 1968

20

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Extending window inference

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 845 KB

english, 1998

21

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Program abstraction in a higher-order logic framework

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 806 KB

english, 1998

22

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Adding external decision procedures to HOL90 securely

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 637 KB

english, 1998

23

Nurse-Led Management of Carpal Tunnel Syndrome: An Audit of Outcomes and Impact on Waiting Times

Newey, Martyn, Clarke, Malcolm, Green, Tim, Kershaw, Christopher, Pathak, Pankaj

Journal:

Annals of the Royal College of Surgeons

Year:

2006

File:

PDF, 100 KB

2006

24

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Formalizing basic first order model theory

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 967 KB

english, 1998

25

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Verified lexical analysis

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 746 KB

english, 1998

26

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || An LPO-based termination ordering for higher-order terms without λ-abstraction

Grundy, Jim, Newey, Malcolm

Year:

1998

Language:

english

File:

PDF, 927 KB

english, 1998

27

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Mechanizing relevant logics with HOL

Grundy, Jim, Newey, Malcolm

Year:

1998

File:

PDF, 860 KB

1998

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски